Embedding DEV&DESS in DEVS

DEV&DESS was defined to represent combined continuous and discrete model event simulation models and was shown to have the properties expected from a universal representation of such models in “Theory of Modeling and Simulation.” Also in that theory, it was shown that DEVS can provide accurate simulations of DESS models. In this paper, we offer a proof that DEVS on its own is capable of accurately implementing the combination of DEVS and DESS formalisms as formulated in DEV&DESS, thus filling in the missing pieces to complete the picture. We elucidate the characteristic primitives needed to express hybrid or combined continuous/discrete event models and provide a rigorous proof of the ability to express these within a purely discrete event computational framework. We discuss the implications of these results for multiformalism modeling and the implication of the results for a related, but alternative, formalization of hybrid systems called Heterogeneous Flow System Specification.